Floating Point Tanya Khovanova April 1, 2013 My computer always beats me in chess. In revenge, I always beat it in a boxing match.

Source URL: www.tanyakhovanova.com

• Data types
• Binary operations
• Floating point
• Integer
• Number
• Exponentiation
• Abstract algebra
• Mathematics
• Computer arithmetic

Distrib. Comput:323–341 DOIs00446An optimistic approach to lock-free FIFO queues Edya Ladan-Mozes · Nir Shavit

Source URL: people.csail.mit.edu

• Scheduling algorithms
• Concurrency control
• Abstract data types
• Queue
• Linked list
• FIFO
• Compare-and-swap
• Double-ended queue
• Pointer
• Computing
• Computer programming
• Concurrent computing

Programming for MSc Part II Part 2: OOP in C++ (b) The ‘Queue’ ADT as a C++ class

Source URL: herbert.the-little-red-haired-girl.org

• Computer programming
• Abstract data types
• C++
• Queue
• Sequence container
• C++ classes
• Void type
• Constructor
• Pointer
• Software engineering
• Computing
• Data types

Constraint Models for the Container Pre-Marshaling Problem Andrea Rendl and Matthias Prandtstetter AIT Austrian Institute of Technology GmbH Mobility Department, Dynamic Transportation Systems Giefinggasse 2, 1210 Vienna

Source URL: andrearendl.com

• Container terminals
• Computing
• Container
• Object-oriented programming
• Sequence container
• Associative containers
• Stack
• Transport
• Abstract data types
• C++ Standard Library

Types abstraits de données (TAD) Types abstraits de données (TAD) Exemple Un type abstrait de données (Abstract Data Type - ADT)

Source URL: www.site.uottawa.ca

Linux Plumbers ConferenceUserspace RCU Library: RCU Synchronization and RCU/Lock-Free Data Containers for Userspace E-mail:

Source URL: www.efficios.com

• Concurrent computing
• Thread
• Queue
• Non-blocking algorithm
• Double-ended queue
• Computer programming
• Read-copy-update
• Abstract data types
• Concurrency control
• Computing

16 Copyright Chris Nevison, Computer Science Department, Colgate University, Hamilton, NY, 13346, August, This material may be reproduced with permission for face-to-face teaching purposes only. This copy

Source URL: cs.colgate.edu

• Search algorithms
• Subroutines
• Abstract data types
• Theoretical computer science
• Programming idioms
• Stack
• Recursion
• Depth-first search
• Breadth-first search
• Computer programming
• Mathematics
• Computing

Utilizing Static Analysis for Programmable Logic Controllers S´ebastien Bornot Ralf Huuck † Ben Lukoschus Lehrstuhl f¨ur Softwaretechnologie Universit¨at Kiel Preußerstraße 1–9, DKiel, Germany seb rhu bls

Source URL: www.cse.unsw.edu.au

• Data types
• Type theory
• Theoretical computer science
• Program analysis
• Programming language implementation
• Abstract interpretation
• Type system
• Model checking
• Programming language
• Software engineering
• Computing
• Computer programming

ISO/IEC JTC1/SC22/WG5 N1824 Coarrays in the next Fortran Standard John Reid, JKR Associates, UK April 21, 2010 Abstract

Source URL: www.fortranplus.co.uk

• Data types
• Procedural programming languages
• Primitive types
• Array programming languages
• Fortran
• Cross-platform software
• C
• Pointer
• Array data type
• Computing
• Software engineering
• Computer programming

Using ASN.1 to Describe 3GPP Layer 3 Message Formats Objective Systems, Inc., July 2012 Overview

Source URL: www.obj-sys.com

• Notation
• Abstract Syntax Notation One
• Information Object Class
• CSN.1
• Octet
• Bit array
• Bit field
• Enumerated type
• Integer
• Computing
• Data types
• Software engineering